include ../make_verifier.inc

